Merge branch 'ebassi/overlay-docs' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Wed, 27 May 2020 16:50:55 +0000 (16:50 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Wed, 27 May 2020 16:50:55 +0000 (16:50 +0000)
Ebassi/overlay docs

See merge request GNOME/gtk!1970


Trivial merge